\section{Alloy - Dynalloy}\label{alloy_dyn}
intro describiendo brevemente las herramientas.
ejemplo especificación alloy
ejemplo especificación dinalloy
